A General Markup Framework for Integrity and Derivation Rules
نویسندگان
چکیده
This paper discusses the design of integrity and derivation rules on the basis of Rule Markup Language (RuleML) and Semantic Web Rule Language (SWRL). We propose a general markup framework for integrity and derivation rules (R2ML). Rule concepts are defined with the help of MOF/UML, a subset of the UML class modeling language proposed by the Object Management Group (OMG) for the purpose of ’meta-modeling’, i.e. for defining languages conceptually on the level of an abstract (semi-visual) syntax. From these MOF/UML language models we can obtain concrete markup syntax by applying a mapping procedure for generating corresponding languages from parameterized DTDs.
منابع مشابه
How to Design a General Rule Markup Language?
A General Rule Markup Language has several purposes. It may serve as a lingua franca to exchange rules between different rule systems and rule components in application software. It may be used to express derivation rules for enriching XML/RDF-based taxonomies (also called ‘web ontologies’) by adding definitions of derived concepts. It may be used to publish the reactive behavior of a system in...
متن کاملمدل سازی شوک های مارک آپ با استفاده از مدل DSGE (مورد ایران)
This paper investigates the effects of markup shocks of domestic and export goods prices on macroeconomic variables by using a Dynamic Stochastic General Equilibrium (DSGE) model for Iran, in order to examine the effect of the growth of market power and monopoly in domestic and exporting markets from a macroeconomic viewpoint. To this end, the optimal pricing process of domestic, importing and ...
متن کاملECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language
Event-driven reactive functionalities are an urgent need in nowadays distributed service-oriented applications and (Semantic) Web-based environments. An important problem to be addressed is how to correctly and efficiently capture and process the event-based behavioral, reactive logic represented as ECA rules in combination with other conditional decision logic which is represented as derivatio...
متن کاملPitfalls and Practicalities of Reasoning on the Web
Rules have traditionally been used in theoretical computer science, compiler technology, databases, logic programming, and AI. The Semantic Web is a new W3C Activity trying to represent information in the World Wide Web such that it can be used by machines not just for display purposes, but for automation, integration, and reuse across applications. Rule markup in the Web has become a hot topic...
متن کاملXML Code Generation Component for the I1 Rule Modeling Tool
In this technical report we describe the XML code generation component for the rule modeling tool Strelka. The component implementation is based on the compositional mapping from the URML metamodel into R2ML XML markup. We define a mapping function for derivation, production and reaction rules. Keyword List Rules, URML, R2ML, Rule Markup Language, Semantic Web, Rule Interchange Project co-funde...
متن کامل